- Proposition quantifiée
-
● Proposition quantifiée proposition dont certaines variables sont liées par des quantificateurs.
Encyclopédie Universelle. 2012.
Proposition quantifiée
Regardez d'autres dictionnaires:
quantifié — quantifié, iée [ kɑ̃tifje ] adj. • 1924; de quantifier ♦ Phys. Se dit d une grandeur physique qui ne peut prendre que certaines valeurs, caractérisées par des nombres entiers multiples d une valeur discrète, le quantum. « Seuls certains des… … Encyclopédie Universelle
quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… … Encyclopédie Universelle
être quantifié — ● être quantifié verbe passif Pour une grandeur physique, prendre des valeurs numériques qui sont multiples entières d une même valeur élémentaire ou qui forment un spectre discontinu de valeurs discrètes. ● être quantifié (expressions) verbe… … Encyclopédie Universelle
MODALITÉS — La notion logico linguistique de modalité désigne, au sens classique, toutes les modifications du sens d’une proposition par des expressions permettant d’asserter cette proposition comme nécessaire, possible, impossible ou contingente. Elle est… … Encyclopédie Universelle
LOI (épistémologie) — Le nom français «loi» tire son étymologie du mot latin lex . L’adjectif français «nomologique», qui désigne la propriété d’être une loi, tire son étymologie du mot grec nomos (qui signifie loi). À quel genre d’entité attribue t on cette… … Encyclopédie Universelle
Theoreme de completude (calcul des propositions) — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
Théorème de complétude (calcul des propositions) — Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P du calcul des propositions : ou bien on… … Wikipédia en Français
Théorème de complétude du calcul des propositions — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
Théorème de complétude du calcul propositionnel — Théorème de complétude (calcul des propositions) Le calcul des propositions est un calcul logique restreint. On emploie souvent le nom de proposition pour désigner une formule logique non quantifiée. Il existe deux façons de valider une formule P … Wikipédia en Français
PRAGMATIQUE — La pragmatique, ou comment accommoder les restes: cette formule rejoint l’intuition de Bar Hillel, l’un de ses fondateurs, qui lança de son côté l’expresion de «poubelle pragmatique» pour désigner le dépotoir théorique où l’on pourrait déverser… … Encyclopédie Universelle
